int UF_setsyscall(void);
void UF_resetsyscall(void);
